More from this Author

Web Services, Formal Methods, and Behavioral Types

by Thomas Hildebrandt (Editor), António Ravara (Editor), Jan Martijn van der Werf (Editor), Matthias Weidlich (Editor)